Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.Fil: Ventura, Pablo Gabriel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. Esta tesis doctoral aborda la definibilidad de primer orden sin cuantificadores desde un enfoque computacional. Se han desarrollado algoritmos eficientes basados en propiedades semánticas de los modelos y se han implementado para su uso como asistentes de investigación. También se presenta un manual de uso para las herramientas y un conjunto de pruebas para comprobar su eficiencia empíricamente. Finalmente, se ha estudiado la complejidad de estos problemas de definibilidad y se han presentado resultados teóricos que establecen los límites de su eficiencia computacional.Given a structure A, we say that a set T is definable in first-order logic without quantifiers if and only if there exists a first-order formula φ without quantifiers such that A ⊨φ(x) for all x∈T, while A ⊭φ(x) for all x∈A\T. This doctoral thesis addresses first-order definability without quantifiers from a computational approach. Efficient algorithms based on semantic properties of models have been developed and implemented for use as research assistants. A usage manual for the tools and a set of tests to empirically verify their efficiency are also presented. Finally, the complexity of these definability problems has been studied and theoretical results establishing the limits of their computational efficiency have been presented.Fil: Ventura, Pablo Gabriel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina

Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2016.En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, abiertas positivas, existenciales, existenciales positivas y fórmulas sin restricciones. El punto de partida para estos algoritmos es una serie de resultados teóricos que caracterizan la definibilidad en términos de la preservación de morfismos. Presentamos además procedimientos para generar las álgebras de relaciones definibles en los formatos arriba enumerados. Adicionalmente, introducimos el paquete Definability desarrollado para SageMath, en el cual se implementan los algoritmos desarrollados. Las pruebas de este paquete inspiraron un teorema que caracteriza las relaciones binarias definibles por existenciales positivas en reticulados distributivos.In this work we develop algorithms to decide definability of relations over finite families of finite first order structures. We present algorithms for the following kinds of formulas: open, positive open, existential, positive existential and without restrictions. The starting point to these algorithms is a series of theoretical results characterizing definability in terms of preservation of morphisms. We also present procedures to generate the algebras of defi nable relations for each of the above listed formats. Additionally, we introduce a package for SageMath, Definability, where the algorithms are implemented. The testing of this package inspired a theorem characterizing the binary relations definable by positive existential formulas over distributive lattices

The complexity of definability by open first-order formulas

In this article, we formally define and investigate the computational complexity of the definability problem for open first-order formulas (i.e. quantifier free first-order formulas) with equality. Given a logic L, the L-definability problem for finite structures takes as an input a finite structure A and a target relation T over the domain of A and determines whether there is a formula of L whose interpretation in A coincides with T. We show that the complexity of this problem for open first-order formulas (open definability, for short) is coNP-complete. We also investigate the parametric complexity of the problem and prove that if the size and the arity of the target relation T are taken as parameters, then open definability is coW[1]-complete for every vocabulary τ with at least one, at least binary, relation.Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Penazzi, Daniel Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Ventura, Pablo Gabriel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentin

La Lucha y Vuelo de un Grupo

In 1961, Wilfred Bion published “The Fight/Flight Group” theory, about the coexistence in groups, the dynamic they present in different circumstances, the duality they have during certain obstacles and the way they behave to move forward during their existence. Within these groups, the leader is a constant with different ways of carrying the group, either autocratic, transactional or transformational, this person has a very fundamental part in the group. This essay will discuss which is the best leadership style for this kind of group and the characteristics this leader should have in order to manage the members of the group efficiently.En 1961, Wilfred Bion publicó la teoría "The Fight/Flight Group", sobre la coexistencia en grupos, la dinámica que presentan en diferentes circunstancias, la dualidad que tienen durante ciertos obstáculos y la forma en que se comportan para avanzar durante su existencia. Dentro de estos grupos, el líder es una constante con diferentes formas de llevar el grupo, ya sea autocrático, transaccional o transformacional, esta persona tiene una parte muy fundamental en el grupo. Este ensayo discutirá cuál es el mejor estilo de liderazgo para este tipo de grupo y las características que este líder debe tener para administrar los miembros del grupo de manera eficiente

Aplicaci?n de las buenas pr?cticas de direcci?n de proyectos propuestas por la Gu?a del PMBOK (6ta edici?n) en el Proyecto de Gasoducto de la Costa

La gesti?n de proyectos es la disciplina de organizar y administrar los recursos de forma tal que un proyecto dado sea terminado completamente dentro de las restricciones de alcance, tiempo y coste planteados al inicio del mismo. Ante ello, es muy usual que los gerentes de proyectos apliquen herramientas y/o lineamientos que le sirvan como gu?a para la ejecuci?n de sus proyectos. La presente tesis plantea el desarrollo del proyecto Gasoducto de la Costa, bajo los lineamientos del Project Management Body of Knowledge (PMBOK) 6ta edici?n. Y como valor agregado, la aplicaci?n de la gu?a de la extensi?n para la construcci?n 3era edici?n. El proyecto ?Gasoducto de la Costa? corresponde a una de las alternativas que el estado peruano est? trabajando para implementar el Sistema Integrado de Transporte de gas natural en el sur del pa?s. Este gasoducto tendr? la capacidad de transportar gas natural desde Humay, con un recorrido de 800 kil?metros, hasta llegar a las centrales termoel?ctricas ubicadas en Mollendo e Ilo. Para la gesti?n de este proyecto se ha desarrollado las diez ?reas de conocimiento propuestas por la gu?a del PMBOK y las cuatro ?reas adicionales de la extensi?n para la construcci?n

Optimasi Portofolio Resiko Menggunakan Model Markowitz MVO Dikaitkan dengan Keterbatasan Manusia dalam Memprediksi Masa Depan dalam Perspektif Al-Qur`an

Risk portfolio on modern finance has become increasingly technical, requiring the use of sophisticated mathematical tools in both research and practice. Since companies cannot insure themselves completely against risk, as human incompetence in predicting the future precisely that written in Al-Quran surah Luqman verse 34, they have to manage it to yield an optimal portfolio. The objective here is to minimize the variance among all portfolios, or alternatively, to maximize expected return among all portfolios that has at least a certain expected return. Furthermore, this study focuses on optimizing risk portfolio so called Markowitz MVO (Mean-Variance Optimization). Some theoretical frameworks for analysis are arithmetic mean, geometric mean, variance, covariance, linear programming, and quadratic programming. Moreover, finding a minimum variance portfolio produces a convex quadratic programming, that is minimizing the objective function ðð¥with constraintsð ð 𥠥 ðandð´ð¥ = ð. The outcome of this research is the solution of optimal risk portofolio in some investments that could be finished smoothly using MATLAB R2007b software together with its graphic analysis